例句與造句

1. Fuzzy description logics combines fuzzy logic with DLs.
2. Description Logic is related to but developed independently of modal logic ( ML ).
3. The OWL language, based on Description Logic ( DL ), is an example.
4. Decidable subsets of first-order logic are also studied in the framework of description logics.
5. This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts.
6. It's difficult to find description logics in a sentence. 用description logics造句挺難的
7. Temporal description logic represents and allows reasoning about time dependent concepts and many different approaches to this problem exist.
8. For example, a description logic might be combined with a modal temporal logic such as Linear temporal logic.
9. Among others, an early attempt to use description logics for schema integration and identifying such relationships was presented.
10. A sub-type hierarchy, supported by defining relationships based on description logic, replaced the axes described in this article.
11. It's noted Concept assertion ( : ) in Description logics, a family of logic based on classes, class assertion
12. The semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals.
13. The description logic community uses different terminology than the first-order predicate logic community for operationally-equivalent notions; some examples are given below.
14. Having arisen from the fields of knowledge representation, description logic and formal ontology, Semantic Web languages have a closer relationship to hydrogen-2.
15. He is considered by some to be the godfather of Description Logic, the logic-based knowledge representation formalism underlying the Web Ontology Language OWL .]
16. Reliable analysis and comparison of post-coordinated expressions is possible using appropriate algorithms machinery to efficiently process the expression taking account of the underlying description logic.
更多例句：  下一頁